Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 58 results
Sort by: relevance publication year

Unsharp quantum logics

BOOK CHAPTER published 2004 in Reasoning in Quantum Theory

Authors: M. Dalla Chiara | R. Giuntini | R. Greechie

Abstract axiomatic foundations of unsharp quantum theory

BOOK CHAPTER published 2004 in Reasoning in Quantum Theory

Authors: M. Dalla Chiara | R. Giuntini | R. Greechie

Formal Reasoning Under Cached Address Translation

JOURNAL ARTICLE published June 2020 in Journal of Automated Reasoning

Authors: Hira Taqdees Syeda | Gerwin Klein

Using stories to assess linear reasoning abolishes the age-related differences found in formal tests

JOURNAL ARTICLE published 2 October 2021 in Thinking & Reasoning

Authors: Grzegorz Sedek | Paul Verhaeghen | Kamila Lengsfeld | Klara Rydzewska

Metalogical properties and anomalies of quantum logic

BOOK CHAPTER published 2004 in Reasoning in Quantum Theory

Authors: M. Dalla Chiara | R. Giuntini | R. Greechie

Toward a microstructural account of human reasoning

BOOK CHAPTER published 28 July 1989 in Similarity and Analogical Reasoning

Authors: David E. Rumelhart

A mechanically verified language implementation

JOURNAL ARTICLE published December 1989 in Journal of Automated Reasoning

Authors: JStrother Moore

Grzegorczyk’s Non-Fregean Logics and Their Formal Properties

BOOK CHAPTER published 2017 in Logic, Argumentation & Reasoning

Authors: Joanna Golińska-Pilarek | Taneli Huuskonen

Formalisms for Non-Formal Languages

BOOK CHAPTER published 1999 in Trends in Logic

Authors: Julius M. Moravcsik

The Language

BOOK CHAPTER published 2000 in Advances in Formal Methods

Authors: Matt Kaufmann | Panagiotis Manolios | J. Strother Moore

The DE Language

BOOK CHAPTER published 2000 in Advances in Formal Methods

Authors: Warren A. Hunt

A valuation-based language for expert systems

JOURNAL ARTICLE published September 1989 in International Journal of Approximate Reasoning

Authors: Prakash P. Shenoy

Similarity and the structure of concepts

BOOK CHAPTER published 28 July 1989 in Similarity and Analogical Reasoning

Overview

BOOK CHAPTER published 2000 in Advances in Formal Methods

Authors: Matt Kaufmann | Panagiotis Manolios | J. Strother Moore

Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools

BOOK CHAPTER published 2004 in Automated Reasoning

Authors: José Meseguer | Grigore Roşu

A Formal language for convex sets of probabilities

BOOK CHAPTER published in Symbolic and Quantitative Approaches to Reasoning and Uncertainty

Authors: Serafín Moral

• carrying weak substantive arguments; • making weak arguments appear strong. Later, when the mechanics of argument construction have been identified, it will be useful to return to these extracts and read them again with an eye on argument connected to figurative language. 2.6 SUMMARY This chapter has considered a range of issues to underline the importance of language in the study of law: • religion and language; • law and language; • the power of language to limit, express and shape the world; • law and figurative language. Law is carried by words: excellent English language skills are the beginning of basic competency in handling legal rules that are either derived from the common law, statutory activity or the European Community. Sophisticated language skills, coupled with meticulous attention to detail and a thorough understanding of the substantive field of law, ensures appropriate levels of analysis; for the skills of handling complex legal rules, communicated through language, constitute the major practical and intellectual skill of the lawyer. 2.7 FURTHER READING For those of you who have found the links between language and law, and the basic introduction to the power of language interesting, you may enjoy reading the following book which takes yet another perspective on the issue of language and law: Goodrich, P, The Languages of Law from the Logics of Memory to Nomadic Masks, 1990, London: Weidenfeld & Nicolson.

BOOK CHAPTER published 10 September 2012 in Legal Method and Reasoning

A Formal Skeleton of Commonsense Reasoning

BOOK CHAPTER published 2022 in Studies in Computational Intelligence

Authors: Enric Trillas | Settimo Termini | Marco Elio Tabacchi

A formal approach for measuring the lexical ambiguity degree in natural language requirement specification: Polysemes and Homonyms focused

PROCEEDINGS ARTICLE published August 2011 in 2011 International Conference on Uncertainty Reasoning and Knowledge Engineering

Authors: Carlos Huertas | Manuel Gomez-Ruelas | Reyes Juarez-Ramirez | Hector Plata

A Formal Language for Cryptographic Pseudocode

BOOK CHAPTER published 2008 in Logic for Programming, Artificial Intelligence, and Reasoning

Authors: Michael Backes | Matthias Berg | Dominique Unruh